es{-}read{-}state($s$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$s$($x$,0)